1. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
2. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
3. Cabal Seminar 77-79 : Proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده : edited by A. S. Kedris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
839
4. Cabal Seminar 81-85 : Proceedings, Caltech-UCLA Logic Seminar 1981-85
پدیدآورنده : A. S. Kechris, D. A. Martin, J. R. Steel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1333
5. Cabal Seminar 79-81 : Proceedings, Caltech - UCLA logic Seminar 1979-81
پدیدآورنده : edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1019
6. Cabal Seminar 76-77 : Proceedings, Caltech-UCLA logic Seminar 1976-1977
پدیدآورنده : edited by A. S. Kechris and Y. N. Moschovakis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
689
7. Cabal Seminar 77-79: proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
839
8. Cabal Seminar 81-85: proceedings, Caltech-UCLA Logic Seminar, 1981-85
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1333
9. Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic Seminar, 1976-77
پدیدآورنده : A.S. Kechris, Y. N. Moschovakis )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1976
10. Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar, 1979-81
پدیدآورنده : A.S. Kechris, D.A. Martin, Y. N. Moschovakis )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1979
11. Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar, 1981-85
پدیدآورنده : A.S. Kechris, D.A. Martin, J.R. Steel )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C3
1985
12. Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
689
,
839
,
1019
13. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
14. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1019
15. Cabal Seminar 77-79: proceedings, Caltech-UCLA logic seminar 1977-1979
پدیدآورنده : edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Recursion theory,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
839
16. Cabal seminar 79-81 : proceedings, Caltech - UCLA Logic Seminat 1979-1981
پدیدآورنده : edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1019
17. Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
پدیدآورنده : edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1977
18. Category theory and computer science :
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
19. Computational prospects of infinity
پدیدآورنده : editors, Chitat Chong ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Infinite
رده :
QA
248
.
W582
2005
20. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
